package cs340.stormtroopers.junitTests.phase4WhiteBox;

import cs340.stormtroopers.hypeerweb.Node;
import junit.framework.TestCase;

public class BradWhiteBox extends TestCase
{
	public void testLoop()
	{
		
	}

	public void testRelational()
	{
		Node n6 = new Node(7);

		Node n3 = new Node(3);
		Node n1 = new Node(1);
		n1.setFold(n3);
		n3.setFold(n1);
		n3.setInverseSurrogateFold(Node.NULL_NODE);
		n3.updateInsertionPoint();
		assertTrue(n3.getFold() == Node.NULL_NODE);
		
		n1 = new Node(1);
		Node n0 = new Node(0);
		n0.setFold(n1);
		n0.setInverseSurrogateFold(n6);
		n0.updateInsertionPoint();
		assertTrue( n0.getInverseSurrogateFold() == Node.NULL_NODE);
		
		n0 = new Node(0);
		n3 = new Node(3);
		n3.setFold(n0);
		n0.setFold(n3);
		n0.setInverseSurrogateFold(n6);
		n0.updateInsertionPoint();
		assertTrue(n0.getInverseSurrogateFold() == Node.NULL_NODE);
		
		n0 = new Node(0);
		n1 = new Node(1);
		n1.setFold(n0);
		n0.setFold(n1);
		n0.setInverseSurrogateFold(n6);
		n0.updateInsertionPoint();
		assertTrue(n0.getFold().equals(n1) && n0.getInverseSurrogateFold().equals(n6));
	}

	public void testDataflow()
	{
		
	}

	public void testInternalBoundaryValue()
	{
		
	}
}
